Search results

From MaRDI portal

View (previous 20 | ) (20 | 50 | 100 | 250 | 500)
  • Publication:3819047
    programming languages; logics of programs; logical properties of computer languages Mathematics Subject Classification ID 03B70: Logic in computer science...
    15 bytes (40 words) - 16:21, 5 February 2024
  • A declarative coordination language
    date: 20 May 2002 Published in: Computer Languages (Search for Journal in Brave) zbMATH Keywords specification languages; Gammalog Mathematics Subject Classification...
    15 bytes (41 words) - 15:24, 3 February 2024
  • State inference for dynamically changing interfaces
    QIDQ4329488 Franz Puntigam Publication date: 1 May 2002 Published in: Computer Languages (Search for Journal in Brave) zbMATH Keywords type system; concurrent...
    15 bytes (41 words) - 22:15, 6 February 2024
  • Publication:3816063
    date: 1987 zbMATH Keywords universal logic; computer languages; syntax and the semantics of formal languages Mathematics Subject Classification ID 03C99:...
    15 bytes (41 words) - 16:15, 5 February 2024
  • Program separation and definitional higher order programming
    QIDQ4395688 Göran Falkman Publication date: 11 June 1998 Published in: Computer Languages (Search for Journal in Brave) zbMATH Keywords higher order programming;...
    15 bytes (41 words) - 02:22, 7 February 2024
  • : A distributed real-time logic language
    1 November 1998 Published in: Computer Languages (Search for Journal in Brave) zbMATH Keywords concurrent logic language Mathematics Subject Classification...
    15 bytes (43 words) - 02:22, 7 February 2024
  • Publication:3218276
    Keywords computer-aided system design; category of spaces of available states; category theory of structural sets; modeling of computer languages Mathematics...
    15 bytes (44 words) - 22:56, 3 February 2024
  • Lenient evaluation and parallelism
    date: 6 March 2002 Published in: Computer Languages (Search for Journal in Brave) zbMATH Keywords functional languages Mathematics Subject Classification...
    15 bytes (46 words) - 15:23, 3 February 2024
  • Lazy narrowing with simplification
    1998 Published in: Computer Languages (Search for Journal in Brave) zbMATH Keywords operational semantics; functional logic languages Mathematics Subject...
    15 bytes (44 words) - 02:22, 7 February 2024
  • Unified selection from lists, arrays, and objects.
    in: Computer Languages, Systems \& Structures (Search for Journal in Brave) zbMATH Keywords Selection from aggregates; Simple programming languages; Uniform...
    15 bytes (51 words) - 12:46, 1 February 2024
  • Automatic synthesis of SDL from MSC and its applications in forward and reverse engineering
    date: 1 May 2002 Published in: Computer Languages (Search for Journal in Brave) zbMATH Keywords formal specification languages Mathematics Subject Classification...
    15 bytes (48 words) - 22:21, 6 February 2024
  • Formal semantics of visual occam
    4 January 2000 Published in: Computer Languages (Search for Journal in Brave) zbMATH Keywords visual programming languages Mathematics Subject Classification...
    15 bytes (49 words) - 21:44, 7 February 2024
  • Argos: an automaton-based synchronous language
    Florence Maraninchi, Yann Rémond Publication date: 2001 Published in: Computer Languages (Search for Journal in Brave) zbMATH Keywords Statecharts; Boolean...
    15 bytes (52 words) - 22:21, 6 February 2024
  • Optimizing structural recursion in functional programs
    QIDQ3142282 Peter Thiemann Publication date: 15 November 1993 Published in: Computer Languages (Search for Journal in Brave) zbMATH Keywords optimization; structural...
    15 bytes (52 words) - 22:52, 3 February 2024
  • Designing programming languages for the analyzability of pointer data structures
    Published in: Computer Languages (Search for Journal in Brave) zbMATH Keywords loop unrolling; path matrices; imperative programming languages; pointer data...
    15 bytes (56 words) - 22:52, 3 February 2024
  • An improved version of the Cocke-Younger-Kasami algorithm
    QIDQ4155838 Glenn K. Manacher Publication date: 1978 Published in: Computer Languages (Search for Journal in Brave) Full work available at URL: https://doi...
    15 bytes (60 words) - 11:39, 6 February 2024
  • Concurrent applicative implementations of nondeterministic algorithms
    QIDQ3040520 Richard M. Salter Publication date: 1983 Published in: Computer Languages (Search for Journal in Brave) Full work available at URL: https://doi...
    15 bytes (64 words) - 22:40, 3 February 2024
  • Syntax optimization for and parsing of patterns
    68118MaRDI QIDQ4136606 Onkar P. Sharma Publication date: 1975 Published in: Computer Languages (Search for Journal in Brave) Full work available at URL: https://doi...
    15 bytes (66 words) - 10:23, 6 February 2024
  • Distributed call-tracking for security
    date: 4 May 2003 Published in: Computer Languages, Systems \& Structures (Search for Journal in Brave) zbMATH Keywords languages; Functional; Code mobility;...
    15 bytes (64 words) - 12:40, 1 February 2024
  • The Green language
    Oliveira Guimarães Publication date: 10 October 2006 Published in: Computer Languages, Systems \& Structures (Search for Journal in Brave) Full work available...
    15 bytes (65 words) - 04:02, 3 February 2024
View (previous 20 | ) (20 | 50 | 100 | 250 | 500)
Retrieved from "https://portal.mardi4nfdi.de/wiki/Special:Search"
Powered by MediaWiki